The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·5h·
Discuss: Hacker News
📟Terminal Typography
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·18h
🔗Graph Isomorphism
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·5h
📐Mathematical Art
Cactus Language • Semantics 3
inquiryintoinquiry.com·6h
🔢Denotational Semantics
Sales pitch about why you should learn statistics
minireference.com·4h
🧠Intelligence Compression
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·5h·
Discuss: Hacker News
📐Linear Algebra
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·8h·
Discuss: DEV
📊Multi-vector RAG
Markdown2pdf – pure md to pdf transpiler implementation in Rust
github.com·11h·
Discuss: Hacker News
📄PDF Internals
#14 Logarithm ....History and Etymology of Math Terms
pballew.blogspot.com·16h·
Discuss: www.blogger.com
📊APL Heritage
The Best Ways to Digitize Your Notes
lifehacker.com·9h
📄Document Digitization
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·20h·
Discuss: Hacker News, r/programming
✅Format Verification
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.app·46m·
Discuss: Hacker News
📜Binary Philology
Categorical systems theory
topos.institute·10h
🔀Category Theory
Friday 10 October, 2025
memex.naughtons.org·22h
📰RSS Archaeology
Building the Reasoning Engine at Axiom
axiommath.ai·2h·
Discuss: Hacker News
⚔️Lean Tactics
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Welcome to LIL’s Data.gov Archive Search
lil.law.harvard.edu·2h
💾Data Preservation
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
A Proof of the Riemann Hypothesis
future.forem.com·1d·
Discuss: DEV
🎯Arithmetic Coding Theory
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·3d
🎯Proof Tactics